Courses Catalogue
- Home /
- Course Catalogue /
- Formal Methods In Software Engr
Formal Methods In Software Engr
Course Code: CSC 432
Credit Unit: 3
Academic Programme: Bachelor of Science Degree in Computer Science
Faculty: Computer Science
Status: Elective
Programme Type: Bachelor
Required Readings
1. Heitmeyer, C. L., Jeffords, R. D., & Labaw, B. G. (1996). Automated Consistency Checking of Requirements Specifications. ACM Transactions on Software Engineering and Methodology, 5(3), 231-261.
2. van Vliet, H. (1999). “Software Engineering: Principles and Practice (2nd Edition)” Wiley.
3. Spivey, J. M. (1998). The Z Notation: A Reference Manual 2nd Edition
4. John C Martin Introduction to languages and the Theory of Computation.
5. Mishra K. L.P. and Chandrashekaran N. (2008). Theory of Computer Science –Automata languages and computation -, 3rd edition, Prentice-Hall, India
Latest News
-
FUL Management Suspends Lecturer over Alleged Sexual Harassment, Commences Full-scale Investigation
May 10, 2024, 4:53 pm -
FUL, CAR-NASRDA Organize 1st International Conference on Atmospheric, Earth and Space Sciences Sept 22-25, 2024
May 10, 2024, 3:56 pm -
Register for a One-Day Workshop on 'Empowering Scholars with Generative Artificial Intelligence' - 23 May 2024
May 10, 2024, 3:09 pm -
PHOTOS: Polish Ambassador to Nigeria, Joanna Tarnawska, Delivers FUL's 6th Public Lecture
May 8, 2024, 1:51 pm -
Important Notice to Students on Exam Rules and Regulations
April 13, 2024, 6:30 pm -
Eid-el-Fitr: FUL VC, Prof. Akinwumi Sends Message to Staff and Students
April 10, 2024, 9:30 am -
No Lassa Fever Case in FUL as Varsity Medical Center Issues Health Advisory
April 9, 2024, 3:17 pm -
Drug Abuse and its Consequences by Pharm (Mrs) Kudirat Nasiru - FUL Health Corner
April 5, 2024, 11:34 pm